Reasoning about Self and Others: Communicating Agents in a Modal Action Logic
نویسندگان
چکیده
We propose an approach to reasoning about conversation protocols within the framework of a logic-based agent language. We show how to embed a theory of communicative actions in the framework of a modal logic of action and beliefs, to specify software agents that, situated in a multi-agent environment, can interact with one another by a speech act based communication mechanism. Agents have their own local beliefs on the world and on the other agents mental state. Complex communicative behaviors can be specified as conversation protocols, and agents can reason on the belief dynamics caused by communications, before committing to a given interaction.
منابع مشابه
Reasoning about Self and Others: Communicating Agents in a Model Action Logic
We propose an approach to reasoning about conversation protocols within the framework of a logic-based agent language. We show how to embed a theory of communicative actions in the framework of a modal logic of action and beliefs, to specify software agents that, situated in a multi-agent environment, can interact with one another by a speech act based communication mechanism. Agents have their...
متن کاملSyntactic Knowledge: A Logic of Reasoning, Communication and Cooperation
This paper presents a logic for reasoning about the explicit knowledge of agents who represent their knowledge as finite sets of logical formulae, and who can change their knowledge by reasoning and communicating. No assumptions about closure or consistency conditions on the sets, or about soundness or completeness of the reasoning mechanisms, are made. Traditional epistemic logic, based on mod...
متن کاملFrom self-regarding to other-regarding agents in strategic games: a logical analysis
I propose a modal logic that enables to reason about self-regarding and other-regarding motivations in strategic games. This logic integrates the concepts of joint action, belief, individual and group payoff. The first part of the article is focused on self-regarding agents. A self-regarding agent decides to perform a certain action only if he believes that this action maximizes his own persona...
متن کاملCommunicating Rational Agents: Semantics and Verification
We present a computational semantics of communicative actions for rational agent programming languages. Three indicators are used to differentiate declarative, interrogative and imperative messages which replace the usual labels to identify socalled speech acts. We introduce a multi-agent verification logic based on the computational semantics that facilitates reasoning about communicative acti...
متن کاملReasoning About Knowledge in Artificial Intelligence
SUMMARY This talk looks at work on reasoning about knowledge within what might be termed "ciassical" AI. That is, it is assumed that the information contained in an intelligent system is for the most part embodied in data structures that explicitly represent the propositions that the system knows or believes, and that queries to this "knowledge base" are handled by applying inference rules in a...
متن کامل